- 双语例句 更多例句
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用
互联网摘选
- 相关词组
- intersection theorem相交定理
- low resolution spectrometer低分辨率分光计
- lattice resolution晶格分辨率
- continuity theorem连续性定理;
- angular resolution角分辨，角分辨率;
- Alternative Dispute Resolution替代性纠纷解决机制；非诉讼纠纷解决机制；替代性纠纷解决；争端解决；纠纷解决
- Pythagorean theoremn.毕氏定理，勾股定理;
- Address Resolution Protocol地址分辨协议;
- euler theorem欧拉定理
- initial value theorem初值定理
- binomial theoremn.二项式定理，二项展开式;
- convolution theorem卷积定理，对合定理;
- initial-value theorem初值定理
- inertial theorem惯性定理
- global convergence theorem整体收敛性定理
- azimuth resolution方位角分辨;
- lower bound theorem下限定理
- general addition theorem一般加法定理
- New Year's resolutionn.新年决心；新年打算;
- intercept theorem截线定理
- 今日热词
- 热门搜索
- put away 收起来; 放好;储存;打消;
- dirt n. 泥土;污垢，污泥;下流想法;恶意中伤的话;
- ailang 艾朗;艾浪;爱浪卫浴
- technology n.科技;技术性机器;
- enter v.进入;成为…的一员;开始参加;掠过（脑海）;开始进入…;参加;写下;输入，登记;
- reputation n.名誉，名声;
- coward n.胆小鬼，懦夫;
- Wall Street Journal 《华尔街日报》
- deviation n.背离，偏离;离经叛道的行为;[航]偏航;[数]绝对偏差;
- secure v.争取到，实现;使固定，拴牢;保卫;抵押;adj.安心的;稳定的，安全的;坚固的;锁牢的;
- explode v.使爆炸;（感情）爆发;激增;推翻（理论）;突发巨响;
- interrupt v.插嘴;打断;中止;遮挡;
